21. Formal methods for real-time and probabilistic systems
پدیدآورنده : / edited by Joost-Pieter Katoen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal methods (Computer science)- Congresses,Real time data processing- Congresses
رده :
QA76
.
9
.
F67I577
1999
22. Formal methods for real-time and probabilistic systems
پدیدآورنده : Joost-Pieter Katoen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Real-time data processing, Congresses.
23. Formal methods for real-time and probabilistic systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Real-time data processing
رده :
QA
76
.
9
.
F67
.
I577
1999
24. Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
پدیدآورنده : Joost-Pieter Katoen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Real-time data processing
رده :
QA
76
.
L28
Vol
.
1601
25. Formal methods for software architectures
پدیدآورنده : / Marco Bernardo, Paola Inverardi (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Real-time data processing--Congresses,Formal methods (Computer science)--Congresses,Computer systems--Congresses,Computer software--Congresses
رده :
QA
,
76
.
754
,.
F67
,
2003
26. Formal methods for software architectures :Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
پدیدآورنده : Marco Bernardo, Paola Inverardi )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Real-time data processing,Congresses ، Formal methods )Computer science(,Congresses ، Computer systems,Congresses ، Computer software
رده :
QA
76
.
754
.
F67
2003
27. Formal methods for the design of real-time systems
پدیدآورنده : / Marco Bernardo, Flavio Corradini (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Real-time data processing--Congresses,Formal methods (Computer science)--Congresses,Computer systems--Congresses,Computer software--Congresses
رده :
QA
,
76
.
54
,.
I575
,
2004
28. Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
پدیدآورنده : Marco Bernardo, Flavio Corradini )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Real-time control,Congresses ، Real-time programming,Congresses ، Real-time data processing,Congresses ، Computer systems,Congresses ، Telecommunication systems
رده :
QA
76
.
L28
Vol
.
3185
29. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
30. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
31. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
32. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
33. Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systmes, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
پدیدآورنده : Yassine Lakhnech, Sergio Yovine )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Robots,Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
3253
34. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
35. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده : Brian M. Fagan.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
36. Includes bibliographical references (p. 225-231) and index. 0
پدیدآورنده : Andrew Green.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
37. Information systems and neuroscience :
پدیدآورنده : editors: Fred D. Davis, René Riedl, Jan vom Brocke, Pierre-Majorique Léger, Adriane B. Randolph.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Human-computer interaction, Congresses.,Information technology, Congresses.,Neurosciences.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human-computer interaction.,Information technology.,Neurosciences.
رده :
T58
.
5
.
I53
2019
38. Intelligent computing :
پدیدآورنده : Kohei Arai, Supriya Kapoor, Rahul Bhatia.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Neural networks (Computer science), Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Neural networks (Computer science)
رده :
Q342
39. Introducing TPCK / Matthew J. Koehler and Punya Mishra -- Bridging digital and cultural divides: TPCK for equity of access to technology / Mario Antonio Kelly -- TPCK in K-6 literacy education: it's not that elemen
پدیدآورنده : edited by AACTE Committee on Innovation and Technology.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
